Provability logic - PDFSEARCH.IO - Document Search Engine

Provability logic
Results: 16

#	Item
11	BIBLIOGRAPHIE GÉNÉRALE ABELSON H., SUSSMAN G. J., SUSSMAN J., 1985, Structure and Interpretation of Computer Programs, The MIT Press, Cambridge/McGraw-Hill Book Company, New York. A B R A M S K I S., 1987, Domain Theo Add to Reading List Source URL: iridia.ulb.ac.be Language: English - Date: 2007-06-27 08:53:11 Provability logic Logic Philosophy Laurent Thévenot Charles W. Morris bibliography Year of birth missing Modal logic Proof theory
12	The Undecidability of k-Provability Samuel R. Buss∗ Department of Mathematics University of California, San Diego April 3, 1989 Add to Reading List Source URL: www.math.ucsd.edu Language: English - Date: 2002-07-11 12:08:00 Automated theorem proving Mathematics Sequent calculus Unification Sequent First-order logic Curry–Howard correspondence Natural deduction Mathematical logic Proof theory Logic
13	Absolute Provability and Safe Knowledge of Axioms (to appear in Leon Horsten and Philip Welch, eds., The Scope and Limits of Mathematical Knowledge) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 05:59:46 Philosophical logic Formal systems Proof theory Model theory Axiom Mathematical proof Theorem Kurt Gödel Modal logic Logic Mathematics Mathematical logic
14	Proceedings of the Third Conference of Mathematical Society of Moldova IMCS-50, August 19-23, 2014, Chisinau, Republic of Moldova On absence of finite approximation relative to model completeness in the propositional pro Add to Reading List Source URL: idsi.md Language: English - Date: 2014-10-08 08:39:39 Non-classical logic Modal logic Philosophical logic Proof theory Provability logic Intuitionistic logic Interpretation Boolean function Boolean algebra Logic Mathematical logic Model theory
15	Proceedings of the International Conference on Intelligent Information Systems IIS2013, August 20-23, 2013, Chisinau, Republic of Moldova Infinitely many precomplete relative to parametric expressibility classes of formu Add to Reading List Source URL: idsi.md Language: English - Date: 2013-10-10 07:36:17 Metalogic Formal languages Modal logic Interpretation Provability logic Well-formed formula Structure Logic Mathematical logic Model theory
16	arXiv:1312.0714v1 [cs.LO] 3 Dec[removed]On sufficient conditions for expressibility of constants in the 4-valued extension of the propositional provability logic GL Andrei RUSU Add to Reading List Source URL: idsi.md Language: English - Date: 2013-12-06 08:23:58 Symbol Admissible rule Propositional calculus Logic Propositional variable

UPDATE